Protege Extensions for Scientist-Oriented Modeling of Observation and Measurement Semantics
نویسندگان
چکیده
We present Protégé-OWL extensions designed to help scientists define domain-specific ontologies for describing observational data. The extensions provide high-level forms that users can fill out from within Protégé to specify classes used to describe scientific measurements. As a user fills out a form, underlying OWL-DL axioms are automatically asserted, thus allowing users to specify relatively complex OWL-DL constraints without requiring an understanding of the technical details of OWL. Encoded in the constraints generated by the extension are a set of “best practices” for enabling improved data discovery and integration of observational data.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملControl in Multi-Treaded Information Systems
Information systems design has traditionally dealt with both data modeling and process modeling. Regarding process modeling, most design techniques based on struc-tured design or object oriented design specify possible data ows and interactions among components, but are not very precise in specifying system control ow. On the other hand, the introduction of computer networks has enabled technol...
متن کاملControl in Multi-Threaded Information Systems
Information systems design has traditionally dealt with both data modeling and process modeling. Regarding process modeling, most design techniques based on struc-tured design or object oriented design specify possible data ows and interactions among components, but are not very precise in specifying system control ow. On the other hand, the introduction of computer networks has enabled technol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011